Перевод: со всех языков на русский

с русского на все языки

disjoined function

См. также в других словарях:

  • Truth — • Defines ontological, logical, and moral truth Catholic Encyclopedia. Kevin Knight. 2006. Truth     Truth     † …   Catholic encyclopedia

  • Minimal negation operator — In logic and mathematics, the minimal negation operator u! is a multigrade operator ( u {k}) {k in mathbb{N where each u {k}! is a k ary boolean function defined in such a way that u {k}(x 1, ldots , x k) = 1 if and only if exactly one of the… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • Deconstructivism — This article is about the architectural style or movement known as deconstructivism. For the philosophical idea, see deconstruction. For other uses, see deconstruction (disambiguation). Libeskind s Imperial War Museum North in Manchester. A prime …   Wikipedia

  • fatigue — fatigueless, adj. fatiguingly, adv. /feuh teeg /, n., adj., v., fatigued, fatiguing. n. 1. weariness from bodily or mental exertion. 2. a cause of weariness; slow ordeal; exertion: the fatigue of driving for many hours. 3. Physiol. temporary… …   Universalium

  • Hierarchy of the Early Church — • The word hierarchy is used here to denote the three grades of bishop, priest, and deacon (ministri) Catholic Encyclopedia. Kevin Knight. 2006. Hierarchy of the Early Church     Hierarchy of the Early Church …   Catholic encyclopedia

  • Ostrogothic Kingdom — Kingdom of the Ostrogoths ← 493–553 …   Wikipedia

  • distemper — English has two distinct words distemper, although ultimately they come from the same source, Latin temperāre ‘mingle’ (source of English temper, temperate, and temperature). This formed the basis of two separate medieval Latin verbs, both… …   The Hutchinson dictionary of word origins

  • distemper — English has two distinct words distemper, although ultimately they come from the same source, Latin temperāre ‘mingle’ (source of English temper, temperate, and temperature). This formed the basis of two separate medieval Latin verbs, both… …   Word origins

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»